Thomas Chatain: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Unfolding-based diagnosis of systems with an evolving topology

Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 1.14 MB

english, 2010

2

An Inverse Method for Parametric Timed Automata

Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 463 KB

english, 2008

3

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 12152 (41st International Conference, PETRI NETS 2020, Paris, France, June 24â25, 2020, Proceedings) ||

Janicki, Ryszard, Sidorova, Natalia, Chatain, Thomas

Year:

2020

File:

PDF, 20.79 MB

2020

4

Model-based trace variant analysis of event logs

Boltenhagen, Mathilde, Chatain, Thomas, Carmona, Josep

Journal:

Information Systems

Year:

2020

File:

PDF, 929 KB

2020

5

Playing Games with Timed Games

Chatain, Thomas, David, Alexandre, Larsen, Kim G.

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 191 KB

english, 2009

6

Publisher Correction: Reconciling qualitative, abstract, and scalable modeling of biological networks

PaulevÃ©, LoÃ¯c, KolÄÃ¡k, Juraj, Chatain, Thomas, Haar, Stefan

Journal:

Nature Communications

Year:

2020

File:

PDF, 335 KB

2020

7

Reconciling qualitative, abstract, and scalable modeling of biological networks

PaulevÃ©, LoÃ¯c, KolÄÃ¡k, Juraj, Chatain, Thomas, Haar, Stefan

Journal:

Nature Communications

Year:

2020

File:

PDF, 590 KB

2020

8

On the well-foundedness of adequate orders used for construction of complete unfolding prefixes

Thomas Chatain, Victor Khomenko

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 194 KB

english, 2007

9

[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - Preserving Partial Order Runs in Parametric Time Petri Nets

Andre, Etienne, Chatain, Thomas, Rodriguez, Cesar

Year:

2015

Language:

english

File:

PDF, 476 KB

english, 2015

10

Evaluation of biogeochemical reactivity of fresh and weathered contaminated dredged sediments

Couvidat, Julien, Neculita, Carmen Mihaela, Benzaazoua, Mostafa, Genty, Thomas, Chatain, Vincent

Journal:

Journal of Soils and Sediments

Year:

2017

Language:

english

File:

PDF, 638 KB

english, 2017

11

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata

Balaguer, Sandie, Chatain, Thomas, Haar, Stefan

Year:

2010

Language:

english

File:

PDF, 390 KB

english, 2010

12

Optimized SAT encoding of conformance checking artefacts

Boltenhagen, Mathilde, Chatain, Thomas, Carmona, Josep

Journal:

Year:

2020

File:

PDF, 557 KB

2020

13

A concurrency-preserving translation from time Petri nets to networks of timed automata

Sandie Balaguer, Thomas Chatain, Stefan Haar

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 1.00 MB

english, 2012

14

[IEEE 2011 11th International Conference on Application of Concurrency to System Design (ACSD) - Newcastle Upon Tyne (2011.06.20-2011.06.24)] 2011 Eleventh International Conference on Application of Concurrency to System Design - Building Tight Occurrence Nets from Reveals Relations

Balaguer, Sandie, Chatain, Thomas, Haar, Stefan

Year:

2011

Language:

english

File:

PDF, 463 KB

english, 2011

15

AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA

ANDRÉ, ÉTIENNE, CHATAIN, THOMAS, FRIBOURG, LAURENT, ENCRENAZ, EMMANUELLE

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 344 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски